OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: lambda abstraction



Results in the term's title:

·  lambda abstraction


Results in the term's text:

·  abstraction
·  alpha conversion
·  beta abstraction
·  beta reduction
·  bound variable
·  constant applicative form
·  curried function
·  FALSE
·  fix
·  Head Normal Form
·  lambda abstraction
·  lambda-calculus
·  lambda expression
·  lenient evaluation
·  maximal free expression
·  Miranda
·  name capture
·  principal type
·  pure lambda-calculus
·  reduction
·  Weak Head Normal Form


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0447 Seconds, with 15 Database-Queries
Zurück zur Startseite